Verifying Internal Threads With An Flx System